💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Feeds to Scour
SubscribedAll
Scoured 15555 posts in 495.4 ms
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Using Haskell in Production
agentultra.com·1d
🔗Functional Compilers
Preview
Report Post
Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained
dev.to·18h·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
📊Static Analysis
Preview
Report Post
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.org·3h
🔓Decompilation
Preview
Report Post
Type-safe eval in Grace
haskellforall.com·1d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·6h
⚡Effectful Programming
Preview
Report Post
Making a Language
thunderseethe.dev·9h
🛠Language Design
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🎯Gradual Typing
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
⚙️TLA+
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·16h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·18h·
Discuss: DEV
🦀Embedded Rust
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·15h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
✅Format Validation
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·13h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Dependency Inversion Principle: The Architect’s Superpower
ihoka.me·2d·
Discuss: Hacker News
🔬Refinement Types
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·3h
🔓Reverse engineering
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help